Dict(
	[10, 8, 13, 5, 13, 1, 1, 12, 1, 1] => QQFieldElem[3//256, 0, 0, 0])